COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	(defun order (w1 w2) (cond 
C00003 ENDMK
C⊗;
(defun order (w1 w2) (cond 
	((numberp w1) (or (not (numberp w2)) (lessp w1 w2)))
	((numberp w2) nil)
	((null w1) t)
	((null w2) nil)
	((equal (car w1) (car w2)) (order (cdr w1) (cdr w2)))
	((equal (cadar w1) (cadar w2)) (lessp (car w1) (car w2)))
	(t (order (cadar w1) (cadar w2)))
))